-
1 формальная семантика
Русско-английский большой базовый словарь > формальная семантика
-
2 формальная семантика
Information technology: formal semanticsУниверсальный русско-английский словарь > формальная семантика
-
3 формальная семантика
Русско-английский словарь по вычислительной технике и программированию > формальная семантика
-
4 формальная семантика
formal semantics мат.Русско-английский научно-технический словарь Масловского > формальная семантика
-
5 денотационная семантика
Русско-английский большой базовый словарь > денотационная семантика
-
6 формально
1. officially2. technical3. academic4. formally5. pro forma6. proforma7. formal8. ceremonial9. regular
См. также в других словарях:
Формальная семантика — Для термина «семантика» см. другие значения. Формальная семантика это изучение семантики, или интерпретации, формальных и естественных языков путём их формального описания в математических терминах. Формальный язык может быть задан без… … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Семантика (значения) — Семантика (от др. греч. σημαντικός обозначающий): В Викисловаре есть статья « … Википедия
Формальная грамматика — Генеративная лингвистика … Википедия
семантика логическая — СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… … Энциклопедия эпистемологии и философии науки
Формальная система — (формальная теория, аксиоматическая теория) результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… … Википедия
СЕМАНТИКА — в математической логике исследование интерпретаций логического исчисления, формальной аксиоматич. теории; изучение смысла и значения конструкций формализованного языка теории, способа понимания его логич. связок и формул. С. уделяет внимание… … Математическая энциклопедия
Порождающая семантика — Генеративная лингвистика … Википедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
Логическая семантика — раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… … Большая советская энциклопедия
КОНСТРУКТИВНАЯ СЕМАНТИКА — совокупность способов понимания суждений в конструктивной математике. Необходимость в особой семантике вызвана различием общих принципов, лежащих в основе традиционной (классической) и конструктивной математики (далее последний термин будет в… … Математическая энциклопедия